Type inference

Results: 490



#Item
221Mathematical logic / Parametric polymorphism / Type class / System F / Normal function / Type inference / Ordinal number / Type system / Kind / Type theory / Software engineering / Programming language theory

Qualified Types for MLF Daan Leijen Andres L¨oh Institute of Information and Computing Sciences, Utrecht University

Add to Reading List

Source URL: kosmikus.org

Language: English - Date: 2011-11-25 05:39:15
222Spectral density / Waves / Bootstrapping / Statistics / Signal processing / Statistical inference

Package ‘bootspecdens’ February 19, 2015 Type Package Title Testing equality of spectral densities Version 3.0 Date[removed]

Add to Reading List

Source URL: cran.ms.unimelb.edu.au

Language: English - Date: 2015-02-19 17:12:42
223Parametric statistics / Statistical tests / Statistical inference / Statistical power / Statistical hypothesis testing / Null hypothesis / Statistical significance / Unit-weighted regression / Type I and type II errors / Statistics / Hypothesis testing / Design of experiments

file:///Users/dave/Desktop/Cohen%20Things%20I%20have%20learne.html

Add to Reading List

Source URL: www.uvm.edu

Language: English - Date: 2006-09-01 12:15:13
224Estimation theory / Credible interval / Confidence interval / Point estimation / Sample size determination / Prior probability / Likelihood function / Coverage probability / Frequentist inference / Statistics / Statistical inference / Bayesian statistics

Package ‘SampleSizeProportions’ February 19, 2015 Type Package Title Calculating sample size requirements when estimating the difference between two binomial proportions Version 1.0

Add to Reading List

Source URL: kambing.ui.ac.id

Language: English - Date: 2015-02-19 16:40:21
225Knowledge / Design of experiments / Statistical inference / Psychometrics / Philosophy of science / Statistical hypothesis testing / Null hypothesis / Bayesian probability / Type I and type II errors / Statistics / Science / Hypothesis testing

Studies in History and Philosophy of Science xxx[removed]xxx–xxx Contents lists available at ScienceDirect Studies in History and Philosophy of Science journal homepage: www.elsevier.com/locate/shpsa

Add to Reading List

Source URL: www.phil.vt.edu

Language: English - Date: 2014-11-18 23:10:09
226Design of experiments / Statistical inference / Statistical hypothesis testing / Statistical power / Normal distribution / F-test / Size / Null hypothesis / Type I and type II errors / Statistics / Hypothesis testing / Statistical tests

Following the example of Mayo (1985), we are sampling from a population of fish, or more properly, of fish lengths. A fish’s length, in inches, may be represented by variable X; that is, to each fish a value of X (lik

Add to Reading List

Source URL: www.phil.vt.edu

Language: English - Date: 2011-11-26 18:27:20
227Lisp programming language / Functional programming / Functional languages / Type theory / Data types / OpenMath / Read–eval–print loop / Scala / Type inference / Computing / Software engineering / Computer programming

The Scala-REPL + MMT as a Lightweight Mathematical User Interface Mihnea Iancu, Felix Mance, and Florian Rabe Jacobs University, Bremen, Germany Abstract. Scala is a general purpose programming language that includes a

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2013-07-09 06:07:30
228Programming language theory / Type system / Type inference / Subtype polymorphism / Type safety / Smalltalk / Top type / Annotation / C / Software engineering / Type theory / Computing

Practical, Pluggable Types for a Dynamic Language ? Niklaus Haldiman Marcus Denker Oscar Nierstrasz Software Composition Group IAM — Universit¨ at Bern, Switzerland

Add to Reading List

Source URL: scg.unibe.ch

Language: English - Date: 2008-09-19 08:21:59
229Computing / Type system / Type inference / Smalltalk / Type safety / Dynamic dispatch / Typing environment / Reflection / ML / Software engineering / Type theory / Programming language theory

TypePlug Pluggable Type Systems for Smalltalk Masterarbeit der Philosophisch-naturwissenschaftlichen Fakult¨at der Universit¨at Bern

Add to Reading List

Source URL: scg.unibe.ch

Language: English - Date: 2007-04-25 11:11:54
230Data types / Computing / Object-oriented programming / Type systems / Polymorphism / Type inference / Subtype polymorphism / Type safety / Smalltalk / Type theory / Software engineering / Programming language theory

Practical, Pluggable Types? Niklaus Haldiman, Marcus Denker and Oscar Nierstrasz Software Composition Group University of Bern – Switzerland http://scg.iam.unibe.ch

Add to Reading List

Source URL: scg.unibe.ch

Language: English - Date: 2008-04-07 14:32:54
UPDATE